Eléments de l'association

	Pays de la Loire	92
	Arnaud Lanoix	31
	Pays de la Loire *Sauf* Arnaud Lanoix"	87
	Arnaud Lanoix *Sauf* Pays de la Loire"	26
	Pays de la Loire Et Arnaud Lanoix	5
	Pays de la Loire Ou Arnaud Lanoix	118
	*Corpus*	24195

List of bibliographic references

Number of relevant bibliographic references: 5.

Ident.	Authors (with country if any)	Title
000C07	Arnaud Lanoix [France] ; Olga Kouchnarenko [France]	Component Substitution through Dynamic Reconfigurations
001F98	Olivier Simonin [France] ; Arnaud Lanoix [France] ; Alexis Scheuer [France] ; François Charpillet [France]	Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning
002128	Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France]	Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components
002397	Arnaud Lanoix [France] ; Julien Dormoy [France] ; Olga Kouchnarenko [France]	Combining Proof and Model-checking to Validate Reconfigurable Architectures
002A20	Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France]	Using Temporal Logic for Dynamic Reconfigurations of Components

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022